$\forall$$k$:$\mathbb{N}$, $A$:(:($\mathbb{N}\rightarrow\mathbb{Q}$) $\times$ $\mathbb{Z}$). normalize{-}constraint($k$;$A$) = $A$